Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting
نویسندگان
چکیده
منابع مشابه
Diagnosis of Labeled Time Petri Nets Using Time Interval Splitting
This paper deals with fault diagnosis of timed discrete event systems (TDESs), using a nondeterministic model named labeled time Petri net (LTPN). Thanks to a skillful splitting of time intervals assigned to the LTPN transitions, analyzing diagnosability in such a timed context can be performed using techniques from the untimed context. Moreover, a deterministic structure called augmented state...
متن کاملMachine Learning for Time Interval Petri Nets
Creating Petri Net domain models faces the same challenges that confront all knowledge-intensive AI performance systems: model specification, knowledge acquisition, and refinement. Thus, a fundamental question to investigate is the degree to which automation can be used. This paper formulates the learning task and presents the first machine learning method for Time Interval Petri Net (TIPN) dom...
متن کاملTimed Test Case Generation Using Labeled Prioritized Time Petri Nets
Model-based testing of software and hardware systems uses behavioral and formal models of the systems. The paper presents a technique for model-based black-box conformance testing of real-time systems using Labeled Prioritized Time Petri Nets (LPrTPN). The Timed Input/Output Conformance (tioco) relation, which takes environment assumptions into account, serves as reference to decide of implemen...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملDiagnosis Using Unfoldings of Parametric Time Petri Nets
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the method on unfoldings. Given a partial observation, as a possibly structured set of actions, our method determines the causal relation between events in the model that explain the observation. It can also synthesize paramet...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2014
ISSN: 1474-6670
DOI: 10.3182/20140824-6-za-1003.02336